/* 有源汇上下界最小流问题
* 1.问题描述
    方法和无源汇上下界可行流一样的。唯一的区别就在于比无源汇的图多了源点和汇点，且源点和汇点不是流量守恒的
    因此我们只需要将有源汇的图转化成一个所有点都是流量守恒的图,从源点流出的流量应该等于流向汇点的流量，即就是从汇点向源点连一条容量是+∞的边
    通过以上方法，我们用一条流量为+∞的边就能将一个有源汇的流网络变成一个无源汇的流网络，然后就可以使用求无源汇上下界可行流的方法来求有源汇上下界可行流。
    对于原图G存在任意的上下界可行流f0，然后在无源汇上下界可行流问题中，我们能将原图G转化成一个新图 G′,存在任意的满流 f′0
    然后我们求一下新图对于 f′0的残量网络 G′[f′0]，在这个残量网络中从S到T的一个满流就是 f′0，其中有一部分是从s到t流过去的，而这一部分的流量其实就是我们之前加的t−>s的虚边的流量，记作 f′0[s−>t]
    由于f′[s−>t]是一个从s到t的一个可行流，所以中间除了s和t的所有点都是满足流量守恒的（中间节点不包括S和T），这些点都是流量守恒的，再加上 f′0这个流量守恒的流，所以除了s和t的所有点都是满足流量守恒的。
    综上所述，对于G中任意一个可行流 f，都能在 G′f′0中找到任意一个对应的可行流 f′−f′0，即 f′s−>t，就能反推出 f′=f′s−>t+f′0

    最小流域最大流的区别就是要让 f′0 s−>t+f′s−>t 最小，即 f′s−>t尽可能小，
    就是要让从s到t的流量尽可能少，等价于从t到s的流量尽可能多，因此从t到s求一个最大流，就可能得出 从s到t的最小流量，从而得出原可行流中的最小流

* 2.注
    反向边流量也可计入最大流，正向流的量回退即可，但仍不可超出这条边的容量
*/
#define DEBUG
#pragma GCC optimize("O1,O2,O3,Ofast")
#pragma GCC optimize("no-stack-protector,unroll-loops,fast-math,inline")
#pragma GCC target("avx,avx2,fma")
#pragma GCC target("sse,sse2,sse3,sse4,sse4.1,sse4.2,ssse3")

#include <iostream>
#include <cstring>
using namespace std;
// #define int long long
const int N = 10010, M = (10200+N)*2, INF = 2147483647;

int n, m, S, T;
int h[N], e[M], ne[M], f[M],  idx; //f表示容量
int q[N], d[N], cur[N], A[N]; 
// d[i]: 分层图每个点的深度
// cur[i]：弧优化
// //A[i] 表示点i所有入边的容量下界之和 - 点i所有出边的容量下界之和

void AddEdge(int a, int b, int c)
{
    e[idx] = b, f[idx] = c, ne[idx] = h[a], h[a] = idx++;
    e[idx] = a, f[idx] = 0, ne[idx] = h[b], h[b] = idx++;
}

bool bfs()
{
    memset(d, -1, sizeof d);
    int hh = 0, tt = -1;
    q[++tt] = S, d[S] = 0, cur[S] = h[S];
    while(hh <= tt)
    {
        int u = q[hh++];
        for(int i = h[u]; ~i; i = ne[i])
        {
            int v = e[i];
            if(d[v] == -1 && f[i])
            {
                d[v] = d[u]+1;
                cur[v] = h[v];
                if(v == T) return true;
                q[++tt] = v;
            }
        }
    }
    return false;
}

int find(int u, int limit) //从 u 往终点传输尽可能多的流量，上限为 limit
{
    if(u == T) return limit;
    int flow = 0;
    for(int i = cur[u]; ~i && flow < limit; cur[u] = i, i = ne[i])
    {
        int v = e[i];
        if(d[v] == d[u]+1 && f[i])
        {
            int t = find(v, min(f[i], limit - flow));
            if(!t) d[v] = -1;
            f[i] -= t, f[i^1] += t, flow += t;
        }
    }
    return flow;
}

int Dinic()
{
    int r = 0, flow = 0;
    while(bfs())
        while(flow = find(S, INF)) r += flow;
    return r;
}


signed main()
{
    #ifdef DEBUG
        freopen("./in.txt", "r", stdin);
    #else
        ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    #endif

    int s, t;
    cin >> n >> m >> s >> t;
    memset(h, -1, sizeof h);

    //建立 G'
    S = 0, T = n+1;
    for(int i = 0; i < m; i++)
    {
        int a, b, c, d; cin >> a >> b >> c >> d;
        AddEdge(a, b, d-c);
        A[a] -= c; A[b] += c;//点a出去了c的容量下界，点b进来了c的容量下界
    }

    int tot = 0;
    for(int i = 1; i <= n; i++)
        if(A[i] > 0) AddEdge(S, i, A[i]), tot += A[i];//入边下界之和 > 出边下界之和
        else if(A[i] < 0) AddEdge(i, T, -A[i]);//入边下界之和 < 出边下界之和

    AddEdge(t, s, INF);
    if(Dinic() != tot) puts("No Solution"); 
    else{
        //先求出跑完S->T的最大流后，再求s->t里的流量
         //因为维护的是残留网络，跑完最大流后s->t的流量应该是反向边的流量
        int res = f[idx-1];//s 到 t 的流量 = 反向边的容量
        T = s, S = t;//重新初始化源点和汇点, 区别点 求s->t的最大流量
        f[idx-1] = f[idx-2] = 0; //将之前加入的从 t 到 s 的虚边删掉
        printf("%d\n", res - Dinic());
    }
}